predicate logic translations